41. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Author: Wolf Zimmermann, Bernhard Thalheim )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
3052
42. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
Author: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
2589
43. Abstract state machines, alloy, B and Z
Author: / Marc Frappier ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
Classification :
QA267
.
A29
2010
44. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
Author: Marc Frappier ... ]et al.[ )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
Classification :
QA
267
.
A26
2010
45. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
Author: Yuri Gurevich...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
1912
46. Adaptive information processing : an introductory survey
Author: Sampson, Jeffrey R
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Machine theory,، Information theory in biology,، Artificial intelligence
Classification :
QA
267
.
S25
47. Adaptive information processing: an introductory survey
پدیدآورنده : Sampson, Jeffrey R. 2491-
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS
Author: Sunggu Lee
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
Classification :
TK
,
7868
,
L6L44
,
2006
49. Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs
Author: Lee, Sunggu
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic design -- Data processing,، Digital electronics,، VHDL )Computer hardware description language(,، Sequential machine theory,، Application specific integrated circuits
Classification :
TK
7868
.
L6L43
50. #Advanced digital logic design using verilog, state machines, and synthesis for FPGAs
Author: #Sunggu Lee
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic design ،Digital electronics. ،Verilog )Computer hardware description language( ،Sequential machine theory. ،Application-specific integrated circuits
Classification :
#
TK
،#.
L6L44
،#
2006
51. Advanced mapping of environmental data
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geology- Statistical methods,Machine learning,Bayesian statistical decision theory
Classification :
QE33
.
2
.
S82A35
2008
52. Advanced mapping of environmental data
Author: / edited by Mikhail Kanevski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geology, Statistical methods,Machine learning,Bayesian statistical decision theory
Classification :
QE33
.
2
.
S82A36
2008
53. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Geology -- Statistical methods,Machine learning,Bayesian statistical decision theory
Classification :
550
.
1519542
A244
54. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
Author: edited by Mikhail Kanevski
Library: Central Library and Documentation Center (Kerman)
Subject: ، Geology - Statistical methods,، Machine learning,، Bayesian statistical decision theory
Classification :
QE
33
.
2
.
S82
A35
2008
55. Advanced mapping of environmental data: geostatistics, machine learning, and Bayesian maximum entropy
Author: edited by Mikhail Kanevski
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Statistical methods ، Geology,، Machine learning,، Bayesian statistical decision theory
Classification :
QE
33
.
2
.
S82
A35
2008
56. Advanced mapping of environmental data :geostatistics, machine learning, and Bayesian maximum entropy
Author: /edited by Mikhail Kanevski.
Library: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
Subject: Geology--Statistical methods.,Machine learning.,Bayesian statistical decision theory.
Classification :
QE
33
.
2
.
S82A35
2008
57. Advances in Bayesian networks
Author: José A. Gámez, Serafín Moral, Antonio Salmerón (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bayesian statistical decision theory -- Data processing.,Machine learning.,Neural networks (Computer science)
Classification :
QA279
.
5
J674
9999
58. Advances in Petri Nets 1985
Author: edited by G. Rozenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
222
59. Advances in Petri Nets 1987
Author: Grzegorz Rozenberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
266
60. Advances in Petri Nets 1989
Author: Grzegorz Rozenberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
424
